Funktionale Programmiersprachen

Projektleitung und Mitarbeiter

Klaeren, H. (Prof. Dr. rer. nat.), Sperber, M. (Dipl. Inform.), Thiemann, P. (Dr. rer. nat.)

Mittelgeber : DFG

Forschungsbericht : 1994-1996

Tel./ Fax.:

Projektbeschreibung

Schwerpunkte der Arbeit liegen auf der effizienten Implementierung funktionaler Programmiersprachen sowie der Analyse und Transformation funktionaler Programme. Am Arbeitsbereich liegt eine Prototyp-Implementierung der strikten funktionalen Sprache SODA vor, auf deren Grundlage eine hocheffiziente funktionale Programmiersprache entworfen und implementiert wird. Die übersetzten Programme sind im Vergleich zu Programmen in herkömmlichen Sprachen gleich schnell oder schneller. Im Gebiet Analyse und Transformation werden Techniken aus der partiellen Auswertung bezüglich ihrer Eignung für den Einsatz in Compilern evaluiert. Partielle Auswertung ist eine besonders aggressive, aber semantik-erhaltende Art Programme durch Auswertung bezüglich der schon bekannten Teile der Eingabe zu verbessern. Zur semantischen Analyse wird Typinferenz benützt.

Publikationen

Thiemann, P.: Implementing the functional iterative machine. In: Fritzson, P. (ed.), Proc. Poster Session of CC '94, Edinburgh 1994. Department of Computer and Information Science, Linköping University, Research Report LITH-IDA-R-94-11. S. 143 152.

INDEX HOME SUCHEN KONTAKT LINKS

qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de) - Stand: 30.11.96
Copyright Hinweise